Extending CHR with Negation as Absence
نویسندگان
چکیده
In this exploratory paper we introduce CHR¬, an extension of the CHR language with negation as absence, an established feature in production rule systems. Negation as absence is a procedural notion that allows a more concise and clean programming style. We propose a formal operational semantics for CHR¬ close to CHR’s refined operational semantics. We illustrate and motivate its properties with examples.
منابع مشابه
Default Reasoning in CHR∨
CHR∨ has emerged as a versatile knowledge representation language, usable for an unparalleled variety of automated reasoning tasks: constraint solving, optimization, classification, subsumption, classical deduction, abduction, truth-maintenance, belief revision, belief update and planning. In this paper, we add default reasoning to this list, by showing how to represent default logic theories i...
متن کاملSMCHR: Satisfiability modulo constraint handling rules
Constraint Handling Rules (CHRs) are a high-level rule-based programming language for specification and implementation of constraint solvers. CHR manipulates a global store representing a flat conjunction of constraints. By default, CHR does not support goals with a more complex propositional structure including disjunction, negation, etc., or CHR relies on the host system to provide such featu...
متن کاملThe CHR-based Implementation of the SCIFF Abductive System
Abduction is a form of inference that supports hypothetical reasoning and has been applied to a number of domains, such as diagnosis, planning, protocol verification. Abductive Logic Programming (ALP) is the integration of abduction in logic programming. Usually, the operational semantics of an ALP language is defined as a proof procedure. The first implementations of ALP proof-procedures were ...
متن کاملEstimation of Bankruptcy Immunity in Government and Private Banks of Iran (Duration Models Approach)
In the wake of recent financial crisis, large banks have been considered as important factors in financial markets in the world, since these bankschr(chr(chr(chr('39')39chr('39'))39chr(chr('39')39chr('39')))39chr(chr(chr('39')39chr('39'))39chr(chr('39')39chr('39')))) failure could affect the whole economy by extending systemic risk. With regard to this issue, when large banks face insolvency or...
متن کاملWorkshop Coordinators:
The notion of “rule” is ubiqitous in computer science, from theoretical formalisms to practical programming languages. Matured rulebased programming experiences a renaissance due to its applications in areas such as business rules, semantic web, computational biology, medical diagnosis, software verification, and security. We will embed rule-based approaches into the Constraint Handling Rules (...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006